1.2.2.12. alpha.core.TestAfterDivZero (C)
Check for division by variable that is later compared against 0. Either the comparison is useless or there is division by zero.

Examples:

void test(int x) {
  var = 77 / x;
  if (x == 0) { } // warn
}